Dissonance oriented stability analysis of Cyber-Physical & Human Systems
نویسندگان
چکیده
منابع مشابه
Unified Knowledge Model for Stability Analysis in Cyber Physical Systems
Cyber-Physical Systems (CPS) consist of distributed computation interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Finding a common semantic among these diverse components that facilitates system synthesis, verification, and monitoring is a significant challenge of a CPS research program. In the emerging smart grid...
متن کاملAspect-Oriented Formal Techniques of Cyber Physical Systems
Cyber-physical systems pose considerable technical challenges, ranging from the distributed programming paradigms to networking protocols with timeliness as a structuring concern, including systems theory that combines physical concerns and computational concerns. Formal specification techniques for such systems have to be able to describe all these concerns. Unfortunately, a single specificati...
متن کاملModeling of Adaptive Cyber Physical Systems using Aspect-oriented Approach
This paper proposes an aspect-oriented approach to modeling adaptive cyber physical system (CPS) using Petri nets. The core concerns of CPSs are described as device model and task model, and dynamic variations of system behaviors or environment conditions are extracted as crosscutting concerns. The models of runtime inspection as well as device adaptation and task adaptation are designed as asp...
متن کاملNondeducibility-Based Analysis of Cyber-Physical Systems
Controlling information flow in a cyber-physical system (CPS) is challenging because cyber domain decisions and actions manifest themselves as visible changes in the physical domain. This paper presents a nondeducibility-based observability analysis for CPSs. In many CPSs, the capacity of a low-level (LL) observer to deduce high-level (HL) actions ranges from limited to none. However, a collabo...
متن کاملAutomatic Dimensional Analysis of Cyber-Physical Systems
The first step in building a cyber-physical system is the construction of a faithful model that captures the relevant behaviors. Dimensional consistency provides the first check on the correctness of such models and the physical quantities represented in it. Though manual analysis of dimensions is used in physical sciences to find errors in formulas, this approach does not scale to complex cybe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2019
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2019.01.050